Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

Predicate Refinement Heuristics in Program Verification with CEGAR Tachio Terauchi (JAIST) Part of this is joint work with Hiroshi Unno (U. Tsukuba) 1

Source URL: hcvs2016.it.uu.se

Workshop • RIETVELD REFINEMENT OF DIFFRACTION PATTERNS Program Monday June 1st, – 13.00 • Introduction to Rietveld refinement

Source URL: www.ecole.ensicaen.fr

Building White-Box Abstractions by Program Refinement Mehrdad Afshari Zhendong Su Department of Computer Science, University of California, Davis, USA

Source URL: mehrdad.afshari.me

1 Runtime Programming through Model-Preserving, Scalable Runtime Patches ∗

Source URL: www.cs.uni-salzburg.at

• Software engineering
• Software
• Computing
• Patch
• Refinement
• Pascal
• Scope
• Program analysis
• Max

Program Reference Manual The TNT Refinement Package Dale E. Tronrud This manual is consistent with Release 5-F of TNT. Detailed information about the package and methods used can be found in the

Source URL: www.uoxray.uoregon.edu

• Computing
• Software engineering
• Software
• Computer programming
• Refinement
• Trinitrotoluene
• Diff utility
• TNT
• Fortran
• Q

Computational Science and Engineering (Int. Master’s Program) Technische Universität München Master’s Thesis

Source URL: www5.in.tum.de

• Adaptive mesh refinement
• AMR
• Computational fluid dynamics

Technische Universität München Fakultät für Informatik Computational Science and Engineering (Int. Master’s Program) Parallel Refinement and Coarsening of recursively

Source URL: www5.in.tum.de

• Calculus
• Mathematics
• Physics
• Partial differential equations
• Shallow water equations
• Xi
• Differential equation
• Vector space

Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian

Source URL: www.vex.net

• Formal methods
• University of Toronto
• Theoretical computer science
• Eric Hehner
• Program derivation
• Predicative programming
• Refinement
• Formal verification
• Department of Computer Science

#$ Refinement and Evaluation of the CARE for Teachers Program Patricia A. Jenningsab, Karin E. Snowbergab, Michael A. Cocciaa & Mark T. Greenberga

Source URL: www.care4teachers.org